Handbook of satisfiability electronic resource
- Författare
- (Edited by Armin Biere ..)
- Genre
- Bibliografi, Konferenspublikation
- Språk
- Engelska
![](https://images.amazon.com/images/P/160750376X.01.MZZZZZZZ.jpg)
![](https://images.amazon.com/images/P/1441616780.01.MZZZZZZZ.jpg)
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
IOS Press | cop. 2009 | Nederländerna, Amsterdam, Washington, DC | 1 online resource (xiii, 966 sidor.) ill. | 978-1-4416-1678-4, 978-1-60750-376-7 |